* admin/admin.el (make-manuals): Use a pdf/ subdirectory for pdf versions.
authorGlenn Morris <rgm@gnu.org>
Fri, 5 Jul 2013 16:10:47 +0000 (09:10 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 5 Jul 2013 16:10:47 +0000 (09:10 -0700)
commitf1494e74fcee39928b82a871869d4557b91d8d3c
tree9008b155cdd2a19b44651b676086b36cd7931b3f
parent56603de2243e3b8b8e42bfe933b1aa63d88137da
* admin/admin.el (make-manuals): Use a pdf/ subdirectory for pdf versions.
admin/ChangeLog
admin/admin.el